- rewrite rule system
- 重写规则系统
English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.
rewrite rule system
Look at other dictionaries:
Rewrite rule — In mathematics, linguistics and computer science, a rewrite rule ( phrase structure rule or production ) in generative grammar is a rule of the form A → X where A is a syntactic category label, such as noun phrase or sentence, and X is a sequence … Wikipedia
Rewrite engine — In Wikipedia and other MediaWiki sites, see MediaWiki Manual:Short URL. A rewrite engine is software that modifies a web URL s appearance (URL rewriting). Rewritten URLs (sometimes known as short, fancy URLs, or search engine friendly SEF) are… … Wikipedia
Rule — A rule is:* Rewrite rule, in generative grammar and computer science * Standardization, a formal and widely accepted statement, fact, definition, or qualification * Operation, a determinate rule ( method ) for performing a mathematical operation… … Wikipedia
rule — {{Roman}}I.{{/Roman}} noun 1 what you can or cannot do, say, etc. ADJECTIVE ▪ basic, cardinal, first, fundamental, golden ▪ ground rules ▪ … Collocations dictionary
Maude system — The Maude system is an implementation of rewriting logic developed at SRI International. It is similar in its general approach to Joseph Goguen s OBJ3 implementation of equational logic, but based on rewriting logic rather than order sorted… … Wikipedia
Semi-Thue system — In computer science and mathematics a Semi Thue system (also called a string rewriting system [Book and Otto, p. 36] ) is a type of term rewriting system. It is named after the Norwegian mathematician Axel Thue, who introduced systematic… … Wikipedia
Schedular system of taxation — The Schedular system of taxation is the system of how the charge to United Kingdom corporation tax is applied. It also applied to United Kingdom income tax before legislation was rewritten by the tax law rewrite project. Similar systems apply in… … Wikipedia
Graph rewriting — In graph theory, graph rewriting is a system of rewriting for graphs, i.e. a set of graph rewrite rules of the form p: L ightarrow R, with L being called pattern graph (or left hand side) and R being called replacement graph (or right hand side… … Wikipedia
DMS Software Reengineering Toolkit — Developer(s) Semantic Designs Website semanticdesigns.com/Products/DMS/DMSToolkit.html The DMS Software Reengineering Toolkit[1] is a proprietary set of program transformation tools available for automating custom source program analysis,… … Wikipedia
Production (computer science) — A production or production rule in computer science is a rewrite rule specifying a symbol substitution that can be recursively performed to generate new symbol sequences. A finite set of productions P is the main component in the specification of … Wikipedia
World of Darkness — For the zoo exhibit, see Bronx Zoo. World of Darkness (or WoD) is the name given to three related but distinct fictional universes created as settings for supernatural horror themed role playing games. It is also the name of roleplaying games in… … Wikipedia
